/* XPM */
static char * mini-manual_xpm[] = {
"16 16 6 1",
" 	c None s None",
".	c Black",
"X	c Red",
"o	c Yellow",
"O	c #808080",
"+	c White",
"                ",
"       ..       ",
"      .XX.      ",
"     .XXXX.     ",
"    .XXXoXX.    ",
"   .XXXoXoXX.   ",
"  .XXXXXoXoX.   ",
" .XXXXXXXoX.O   ",
" ..XXXXXXX.+.O  ",
" .+.XXXXX.+.O   ",
"  .+.XXX.+.O    ",
"   .+.X.+.O     ",
"    .+.+.O      ",
"     .+.O       ",
"      .O        ",
"                "};
